$\forall$$i$:$\mathbb{N}$, $x$, $l$:Top. ($x$.$l$)[$i$+1] $\sim$ $l$[$i$]